1. A theory of heuristic information in game-tree search
پدیدآورنده : Tzeng, Chun-Hung
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical
رده :
Q
335
.
T99
1988
2. A theory of heuristic information in game-tree search
پدیدآورنده : TZENG,CHUN-HUNG
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ARTIFICIAL INTELLIGENCE , GAME THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
Q
335
.
T99
3. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
4. Automata, logics, and infinite games
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
5. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
6. Conned again, Watson! :
پدیدآورنده : Colin Bruce.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Holmes, Sherlock,Holmes, Sherlock.,Decision making.,Detective and mystery stories, English.,Game theory.,Logic.,Mathematical statistics.,Private investigators-- England, Fiction.,Probabilities.,Decision making.,Detective and mystery stories, English.,Game theory.,Holmes, Sherlock (Fictitious character), Fiction.,Logic.,Mathematical statistics.,Mystery fiction.,Private investigators.,Probabilities.,Short stories.,England., 7
رده :
PS3552
.
R7917
C66
2001
7. Epistemic game theory :
پدیدآورنده : Andrés Perea.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Epistemic logic.,Game theory.,BUSINESS & ECONOMICS / Economics / Microeconomics.
8. Independence-friendly logic :
پدیدآورنده : by Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : First-order logic,Game theory
رده :
BC128
.
M36
2011
9. Independence-friendly logic : a game-theoretic approach
پدیدآورنده : Mann, Allen Lawrence
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، First-order logic,، Game theory
رده :
BC
128
.
M26I5
10. Interactive logic :
پدیدآورنده : edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Game theory, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA269
.
I58
2007
11. Logic in games /
پدیدآورنده : Johan van Benthem
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Game theory,Logic
رده :
QA269
.
B36
2014
12. Nonclassical Logics and Their Applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Philosophy; Logic; Game Theory, Economics, Social and Behav. Sciences; Mathematical Models of Cognitive Processes and Neural Networks; Mathematical Logic and Foundations; Syntax; Theoretical Linguistics
13. Readings in Formal Epistemology
پدیدآورنده : edited by Horacio Arl??-Costa, Vincent F. Hendricks, Johan van Benthem
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Knowledge, Theory of,Logic, Symbolic and mathematical,Game theory
رده :
EBOOK
,
BD
R4
161
14. Readings in Formal Epistemology :
پدیدآورنده : edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
15. Readings in formal epistemology : Sourcebook
پدیدآورنده : Horacio Arlo-Costa, Vincent F. Hendricks, Johan van Benthem, editors; assistant editors : Henrik Boensvang, Rasmus K. Rendsvig
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Game theory
رده :
BD
161
.
R42
16. The logic of strategy /
پدیدآورنده : edited by Cristina Bicchieri, Richard Jeffrey, Brian Skyrms.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Game theory.,Strategy (Philosophy),Game theory.,PHILOSOPHY-- Logic.,Strategy (Philosophy)
رده :
B105
.
S68
L64
1999eb
17. The unpredictability of gameplay /
پدیدآورنده : Mark R. Johnson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Game theory.,Games.,Prediction (Logic),Game theory.,Games.,Prediction (Logic)
رده :
QA269
.
J64
2019
